The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Gilles Barthe Books

Results for Gilles Barthe

Showing 1 to 7 of 7 results
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology) Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology) by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology)

by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri


ISBN 13: 9783642038280

Format: Paperback (339 pages)
Publisher: Springer
Published: 17 Aug 2009

Save for later

 
New : $50.93  
New : $50.93
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues) Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues) by

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues)

by


ISBN 13: 9783642113185

Format: Paperback (397 pages)
Publisher: Springer
Published: 08 Jan 2010

Save for later

 
New : $56.82  
New : $56.82
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology) Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology) by

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology)

by


ISBN 13: 9783540336891

Format: Paperback (184 pages)
Publisher: Springer
Published: 18 Apr 2006

Save for later

 
New : $56.71  
New : $56.71
Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering) Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering) by

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering)

by


ISBN 13: 9783540688624

Format: Paperback (259 pages)
Publisher: Springer
Published: 29 May 2008

Save for later

 
New : $56.79  
New : $56.79
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues) by

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by


ISBN 13: 9783540786627

Format: Paperback (401 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

 
New : $56.90  
New : $56.90
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology) Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology) by

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)

by


ISBN 13: 9783642224430

Format: Paperback (271 pages)
Publisher: Springer
Published: 23 Sep 2011

Save for later

 
New : $56.77  
New : $56.77
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science) Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science) by Traian Muntean,Gilles Barthe,Jean-Louis Lanet,Lilian Burdy,Marieke Huisman

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science)

by Traian Muntean,Gilles Barthe,Jean-Louis Lanet,Lilian Burdy,Marieke Huisman


ISBN 13: 9783540242871

Format: Paperback (272 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

 
New : $56.79  
New : $56.79